Merge branch 'tabular-menus' into 'master'
authorMatthias Clasen <mclasen@redhat.com>
Fri, 25 Jan 2019 17:32:41 +0000 (17:32 +0000)
committerMatthias Clasen <mclasen@redhat.com>
Fri, 25 Jan 2019 17:32:41 +0000 (17:32 +0000)
Drop tabular menus

See merge request GNOME/gtk!527


Trivial merge